Cartesian closed category

美 [kɑːrˈtiːziən kloʊzd ˈkætəɡɔːri]英 [kɑːˈtiːziən kləʊzd ˈkætəɡəri]

1

In this paper , an extension theorem on Z-complete posets is given , and it is proved that the category of ZP is a Cartesian closed category .

给出Z-完备集上的一个扩张定理，证明范畴ZP是一个笛卡儿闭范畴。
2

The category FSBP in which objects are finitely separating and upper bounded posets and arrows are D ~ △ - continuous functions between them , is a cartesian closed category .

以有上界且有限可分的偏序集为对象，以它们之间的D~△-连续的函数为态射组成的范畴是一个Cartesian闭范畴。